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