Merge pull request #207 from ptroja/master

HO_MATCH_MP_TAC documentation (and other minor fixes)
Add some assembly code support for the MIPS tools.
rename Ho_Net.empty_net to Ho_Net.empty

All similar structures (e.g. Net and Raw) uses "empty" not "empty_net";
it seems good to follow a single naming convention.