GitLab

* Generalize IDE requirement
* Add .target building step to headless build
* Remove gerrit instructions since gitlab is now the authoritative
  repository for master.

gitlab #542