Hack in option to run the platform manager.
- This tool should probably be changed from onlpdump to just "onlptool [dump|manage|...]" etc.