Merge pull request #12 from cliguda/master

Debug ASM
adding projects
adding pivoter, improving Theo Web
merging branches
merging windows version
merge complete
adding sharejs
updating jedit plugin
updated libre office to exporting spreadsheet
updated sharejs integration
adding libreoffice plugin for raspberry sharejs
updated spreadsheet document get information from ShareJS
updated SpreadsheetDocument to be able to access the concrete spreadsheet model from sharejs
commiting IConnectionManager
solving compilation problems
removing files
Merge branch 'master' of https://github.com/KWARC/Sally

Conflicts:
	sally_spreadsheet/pom.xml
	sally_spreadsheet/src/main/java/info/kwarc/sally/spreadsheet/SpreadsheetDocument.java