Added -mask_ceil option to extracttag

The -user_mask_value in extracttag behaves like one might expect from a -user_mask_floor option. This change aliases -user_mask_value with -mask_floor and adds a -mask_ceil option.