Merge pull request #5 from buschko/rewards

Rewards merged into Master
Merge pull request #6 from buschko/rewards

fixed read in function for files with hybrid states
Merge pull request #7 from buschko/rewards

bugfix in read in function
Merge pull request #8 from buschko/rewards

commented out model printout for time bounded reward
Merge pull request #9 from buschko/rewards

adjusted warning for error bound
Merge pull request #10 from buschko/rewards

Bug fix in long-run reward computation:
Merge pull request #11 from buschko/rewards

coloured output
Merge pull request #12 from buschko/rewards

bcg2imca goal state change
bcg2imca in makefile
commited out SparseMatrix_free(ma); in main.cpp (Bug on Linux machine which needs to be fixed)
fixed BUG for OSX
commented out SparseMatrix_free(ma); again
Bug fix in read in function which occured for Hybrid states
write to dot file
added rewards to writeToDot
added dot and mec output to options
modified the dot output
Merge pull request #13 from buschko/master

update rewards branch to current master branch