Improved VSC script for compression experiment
Merge remote branch 'github/parser'

Conflicts:
	.gitignore
Update test.job to new algorithms names
Merge remote branch 'github/feature/fastLUniv'
Merge remote branch 'github/feature/fastLUniv'
Local SBT version
Merge remote branch 'github/develop'
Test GitHub's post-receive hooks.
Remove old resolution proof format
Add link to Scala style guide
Add jop opportunities section
Add CADE2011 paper and move drafts to a different folder
Revert "Remove old resolution proof format"

This reverts commit a6f504e0dbc1d2fcbdd8398bd6e49bed3657e582.
Remove old resolution data structures
Add section about documentation
Fix license
Add first draft of Skeptik's logo
Make logo background transparent
Trim logo's canvas
Export logo as PNG