Fix forum
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 pull request #13 from lucach/upstream

Fix forum
Merge remote-tracking branch 'upstream/master'

Conflicts:
	cms/server/PracticeWebServer.py
	cms/web/practice/index.html
	cms/web/practice/js/signup.js
	cms/web/practice/js/task.js
	cms/web/practice/js/tasks.js
	cms/web/practice/views/user.profile.html