Install rule: copy gmp header (#398)