#3151 checkbox 'enable collisions' now follows changes in the
BW4Tenvironment core.
#3196 added FIXME & comment in code to explain timer hack
#3154 updated manual explaining message 'all' target
Merge branch 'develop' of https://github.com/eishub/BW4T into develop