improved installation instruction
mention download push-button
add $EPREFIX/usr/include to list of include dirs
auto-magically generate mp_limb_t definition