Ram cleanup

This branch reduces the RAM usage by avoiding global allocations where global allocations are not needed. It also fixes a bug in the HoTT driver associated to it (it would publish always old data). @sjwilks @thomasgubler @DrTon Please review. It will overall free more than one K RAM. I'm hunting more RAM users right now.