update sbt to 0.13.0
added documentation, disabled some server examples for now, refactoring