Use git submodule instead of hard copied files

Git submodules are a nice way to keep dependencies up to date. One could also ponder over, what other libs to replace by their submodule equivalent.