Removed FDP_DEC_EXT.1.3 by push its requirements into 1.1 and 1.2.
Fixes #104.