gazebo: add HEAD option and speed up compilation

Use default branch for --HEAD and speed up compilation by
not compiling tests and preventing glxinfo from being called.