Merge pull request #1 from choeger/master

aenderungen
Merge pull request #2 from choeger/master

integration of real literals
added a new koch SL example

this example now makes use of real literals and real functions
added some parser specs for reals
build-konfiguration angepasst, sodass es auch auf ubuntu 12.4 geht..
.gitignore for backup files (*~)
combinator parser mit reals
src ordnung an java-standad angepasst (-> eclipse-vertraeglichkeit)
extended abstract syntax and variables with the possibility of qualified variable identifiers, which may reference modules... (does not yet affect the translation, hopefully)
Einige Vars zu VarFirstClass gemacht...
finally got the unit tests to compile again... (but some of the tests fail!)
cleanup in Lexic and subsequent changes
rewrote parboiled parser operator parsing; broke negation operator
fixed some things test complained about
qualified vars, cons and types. untested
- ignoring .DS_Store files
- closing issue #11
added JSON serializer

the JSON serializer is not yet implemented completely
many stubs have yet to be implemented
completed simple JSON implementation

unit tests and verification still nyi
doesn't (de)serialize imports
works on old absy (so no qualified ide support yet)
fixed most of the unit tests (except for the unary minus related ones). there seems to be a bug with the letrecsplitter.
played around with letrecsplitter. im quite sure that the tests complain with no good reason.