Fix grade recording for GeraHTML >= 20140520. Add "popup" view for students.
Change view.php to open project pages using GET instead of POST, due to IIS issues.
Change file permissions from 0755 to 664.
Change .gitignore for better standard compliance.