Modified the github-fetcher to use java7.
Merge branch 'master' of https://github.com/TUDelft-IN4303/grading-tools

Conflicts:
	github-fetcher/src/nl/tudelft/in4303/githubfetcher/GitHubFetcher.java
Some small modifications to make grader work.