Create a development submodule repository

[Tomaqa]

Some contents of the repository are addressed to the developers of OpenSMT, not to the users.
We should move these parts outside of the core repository to make it more lightweight.

These parts are e.g. ci, scripts, or probably even regression tests.