use log2 from mpfr in miller rabin
add checks for dependencies in cmake
add mpfr to cmake and ycm_extra_conf