Updated the documentation on the website to include some guidelines for developers worknig with the issue tracker.