Fix a wrong path in the install script.

It was building user packages in an extra build directory under the build
directory, instead of directly in the build directory.
Updated the documentation.
Document the version of stp we support.