highlight github quickfix
update license information in developer guide
Use release license files for user docs.
Update tools for Java 7, Git and Maven