German startup Gitpod, a devtool popular with some of the world’s most successful tech teams, has raised a $3 million seed funding round, and will natively integrate with San Francisco’s GitLab. The…