Check out AWS RoboMaker

Looks interesting. Glad that it is having full support for ROS and Gazebo.