[jmplaza] #57, nuevo contenido gazebo-setup.sh para que funcione con ubuntu 12.04 tanto en 32bits como 64bits, y debian 7.