deleted a lot of old protobuffer messages. Remove old ASM.
introducing DocumentManager and a direct way to get document model.
adds a new type of Theo for Web applications
adding workflow screenshots and current KB repository export
partially solves https://github.com/KWARC/Sally/issues/15
makes definition lookup service work with new ASM. Fixes minor bugs.
Updated local workflow package. Updated ProcessMain to get workflows from Sally.pkg.
WebTheo can do definition lookup. Changed TheoFX to work asynchronously. No more modal windows.
setting logging to info level
minor updates to spreadsheet doc and iui paper data generator
WebAlex demo working
Merge branch 'master' of https://github.com/KWARC/Sally
conflicts resolved

Conflicts:
	sally_comm/src/main/resources/common.proto
	sally_spreadsheet/src/main/java/info/kwarc/sally/model/document/spreadsheet/ASMInterface.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/model/document/spreadsheet/ModelAdministrator.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/spreadsheet3/logic/RelationInterpreter.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/spreadsheet3/model/Manager.java
	sally_spreadsheet/src/test/java/info/kwarc/sally/spreadsheet3/verification/VerificationSpecificationGeneratorTest.java