INSTALL and README files. Small bugfixes.

There was a problem with large malloc (int overflow). I never had this one in
my life! Woho!