Add Gazebo repository and GPG key
Install Gazebosim
Merge pull request #10 from antoinealb/master

Install Gazebo
Merge branch 'master' of github.com:cvra/dev-vm

Conflicts:
	salt/roots/top.sls