Enable getbv.INT32 test. I've worked around the bad C interface
design for now.
Update INSTALL

Added link to STP's testing documentation.