website: update documentation, comment
<!DOCTYPE html>
<html>
<head>
-<!-- This will be pushed to https://dbeyer.github.io/java-smt by Travis. -->
+<!-- This will be pushed to https://sosy-lab.github.io/java-smt by Travis. -->
<title>JavaSMT</title>
<meta http-equiv="refresh" content="0; url=api/index.html" />
