A simple extension providing GIT support for HP Pronq IDE (the actual work is done on server side, which is not Pronq-way)