Tools for managing Amazon AMIs.