Merge pull request #100 from l-korous/master

Synced with Hermes.
fixes
Merge remote-tracking branch 'kus/master'
minor fix in weakform ext
fixes, progress
anderson disable by default
fixed runExpression - successful run
A fix of linking.