Merge pull request #235 from alexanderdreyer/master-pyobject

Ignoring modules reloading
chg: gitfan stuff to use std::set
new: gitfan.lib
fix: bug building debug version, and with trivial examples
fix: divisors.lib and gitfan.lib formating issues
chg: workaround for 'bug' in parallelWaitAll

changed afacesPart to nonstatic, as parallelWaitAll can only execute non-static procedures
fix: description of ordering rp
add: warning about non-polynomial coeffs in subst in manual
Merge pull request #238 from YueRen/gfanlib

Gfanlib: divisors.lib
add: divisors.lib to doc
fix: broken overloading of '*'
fix: solaris port
fix: compiler warnings
Merge pull request #239 from YueRen/gfanlib

fix: broken overloading of '*'
fix: use const char* for simply storing text, subst(rat. function) yields now an error
chg: test for proper polymake version now covers developer versions
fix: compiler warnings
fix: evaluatePDivisor
Merge pull request #240 from YueRen/gfanlib

Gfanlib
add: orbitparam.lib+tests