gaptool-server is a RESTful API for managing AWS resources