Add symbolic support for string replace

Fixes #49
Merge branch 'feature-symbolic' of github.com:cs-au-dk/Artemis into feature-symbolic