Updated documentation, adding libboost and libgmp as dependencies.