Minor updates to build system, repository, and documentation; removing references to old prim.cc website, which is no longer available.