Update cmake find modules

Supersedes #310.
Yes, we should. I think this was useful before because we could know what variable to set when giving paths manually. (If `GMP_INCLUDE_DIR` was not found we could give -`DGMP_INCLUDE_DIR=/path`)
We should change the `DEFAULT_MSG` to give an indication how to give the include dirs and libraries