Bump version
Fix compiler warnings
Rename subfolder of "examples/proofs/"
Merge commit '5e9a0ed9f68b6d8958205418cabf822517a79255' into release/1.0

* commit '5e9a0ed9f68b6d8958205418cabf822517a79255':
  BUGFIX: valent literals must be in the conclusion
  BUGFIX: valent literal must be in the conclusion
  Alternative (non-working) LUniv algorithm
  BUGFIX: don't lower if the dual is in Delta
  Cleanup LUniv after optimization
  Many optimization tries for LUniv
  Removed NodeKind type
  Removed unoptimized LUniv
  Optimize second step of LUniv

Conflicts:
	src/main/scala/at/logic/skeptik/util/help.scala
Add instructions on how to import Skeptik as a library
Add usage example and minor improvements in the README
Fix markdown typo
Merge branch 'release/1.0' into develop
Add torrent files with all proofs used in the experiments
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