Draft: Add dev-tools as a git submodule
Add dev-tools as a git submodule for Octopus.
All developers with an interest are tagged.
Open questions:
- Where best to place the submodule. I've added it to external_libs/
- Where best to document it. As of yet not done