dev tools

development tools like git, maven, git servers, code quality control tools and the like.