Move away from theos and logos #26
Description
A few Theos features we use (such as xmi files) have been broken for months and we now have to use an unofficial fork just to build our tweak. We should stop relying on logos (and perhaps theos eventually).