weighted grade functionality

- weights allowed: 1 to 10
- fixed some file extensions for hackerearth language support
- fixed db related bugs: floats instead of ints for grade
auto_judge now grades according to max_grade
Merge pull request #78 from Leuteris/master

Report αποτελεσμάτων
Merge pull request #81 from Leuteris/master

διόρθωση της submit_grade_comments()
assignments scenarios: weight validation

- weights sum up to max grade (3 digit precision)
remove unnecessary echo
just some comments
Merge branch 'weighted-grade1' of https://github.com/divined2004/openeclass into divined2004-weighted-grade1

Conflicts:
	modules/work/index.php
Merge branch 'divined2004-weighted-grade1'
weighted grade calculation
Merge pull request #83 from divined2004/master

weighted grade calculation
work for task 75
finished issue #65
Delete tools.php~
Delete messages.inc.php~
Delete index.php~
Merge pull request #85 from DimKon7/master

Προσθήκη εργαλείου ρυθμίσεων κριτή στη διαχείριση πλατφόρμας
Merge branch 'task75' of https://github.com/grglaz/openeclass into grglaz-task75

Conflicts:
	modules/work/index.php
Merge branch 'grglaz-task75'
Remove README.md.