Removing design stub files accidentally created by merging.
Adding a .p4ignore to ignore generated design documents.
Fixing copy-paste error in description of mps_message_type_enable.
Updated manual HTML