What are the various Magento development tools?