fixed url of subversion repository of STP
the repository permanently moved to ``https://svn.code.sf.net/p/stp-fast-prover/code/trunk/stp''
fixed mpfr package