Merge pull request #902 from ernieift/next

add HoTTSUM support for freedom, revolution and revomini