Added libgmp3-dev depenency. Fixes #23.