Notifications l10n
Merge pull request #11 from lucach/upstream

Notifications l10n
Cambiata implementazione di last_pm nel db
Vari fix

Fix temporaneo per avere sempre data.success
Fix relazione db
Fix posizione link dell'img di profilo
Continua sviluppo PM
Fixes
Grosso refactoring, frontend PM
Rifinito CSS dei PM
fix
Method to check the backend integrity.
Option to delete files with mismatching digest.
Fix a small documentation typo
Test to show that forking is not prohibited in the sandbox.
Fix usage of -p option (closes #149).
Fix permission issue when sandbox truncates output files

By wrapping the file object in a custom file-like truncator we avoid
touching the on-disk instance.

Using the io module gives us context managers for free.

Also improved escaping of command line arguments and made command files
be opened in text mode (i.e. accepting unicode) with default encoding
(i.e. UTF-8).
Add unit tests for Truncator.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	cms/web/practice/js/forum.js
	cms/web/practice/js/l10n.js
	cms/web/practice/js/ranking.js
	cms/web/practice/js/task.js
	cms/web/practice/js/tasks.js
	cms/web/practice/js/tests.js
	cms/web/practice/js/user.js