Corrections for sync guards on static operations, see #209, #227, #228
Remove obsolete core/latex module
Add module template README.md files and update the base README file
Fixes #248.
Merge remote-tracking branch 'origin/development' into ncb/development
Type checker correction for "while true" loops, fixes #210
Corrected scheduling policy unfairness that affects stop ordering, fixes
#211