README: Added section about Project origins

See https://github.com/polcak/pcf/issues/1
INSTALL: Added note about a bug in reduction algorithm

See https://github.com/polcak/pcf/issues/1 for details