highlight github quickfix
update license information in developer guide
Use release license files for user docs.
Update tools for Java 7, Git and Maven
Merge remote-tracking branch 'upstream/master'