Show date also in runSentinel.log.txt
Fix: update ampersand-models and (accidentally omitted) prototype
Use lower-case identifiers
Fix comments
Fix: pull after reset --hard

Original idea was to reset --hard to origin/master (which was accidentally not given as a parameter yet), but this makes it harder to test branches.
Merge pull request #2 from AmpersandTarski/also-update-ampersand-models

Also update ampersand models