add HoTTSUM support for freedom, revolution and revomini

Fixes #901