Useful tools for developers Codenvy - An online IDE (Integrated Development Environment)