Add -rtsopts, because with huge eventlogs we need, e.g., +RTS -K100M
Bump version number to 0.2.5