add: factoryVersion as part of extended version info
Merge pull request #531 from mmklee/factory_noPP

Factory no pp
update HOWTO for libsingular
fix: rField_is... for RINGS
fix: test for make check in case Singular is not around
chg: separate omalloc and resources flags
chg: update factory version