Added description of *with mask* functionality

Added mark to instructions that should support this functionality.
 On branch develop
 Changes to be committed:
   (use "git reset HEAD <file>..." to unstage)

	modified:   doc/isa_spec.md