add HoTTSUM support for freedom, revolution and revomini

should work, but needs testing.
updated hwrevomini.xml to prevent merge conflicts
Revert 40481bf..ab07c46

This rolls back to commit 40481bfb21618f6a7948ffe73f8bf4363feccfcf.