Awesome! We're working on a Cloud IDE to make your life your life even easier. Less setup for your students.
Gitlab will include an IDE in the future? Or it will be a separate product?
It will be included in all versions of GitLab. In fact it is already as alpha in the but you need to modify a cookie to activate it. It still needs a ton of work.