Re tool miximus so that it works with the sepaphore backend

[barryWhiteHat]

https://github.com/barryWhiteHat/semaphore/issues/3

This is a good idea as it reuses code and hopfully reduces the audit requirements for both.