add polymake.doc (for polymake.so) from master