MIPS/GAS/doc: Include MIPS options in the man page
    
    Include the detailed MIPS option description in the man page along with
    other target descriptions and complementing the terse list earlier on.
    
    	gas/
    	* doc/as.texinfo (Overview): Select MIPS options for man page
    	inclusion.