Fixed output of demo (and server backend). Deleted unabstracted server
backend.
Re-exported demo.jar.
Merge branch 'master' of git@github.com:NicholasMerrill/Optimizer.git