If by chance someone is looking for a VM management software around hyperkit, I've been working on https://github.com/bensallen/hkmgr in my spare time.