Open source cloud-based development platform Gitpod has raised a $25 million Series A funding round.