fix variable conflict issue in primdecint.lib
Merge pull request #573 from surface-smoothers/fix.variableconflict.in.primdecint.lib

fix variable conflict issue in primdecint.lib
comments - documentation
make gcc happy - include factory to have CanonicalForm
README for interpreter
format
merged with spielwiese