add domain option
fixed verify bug when domain is not set
use domain when calling signall
renamed to aproof
README: fixed online tools link
Readme: OCD
Merge pull request #11 from olalonde/rename

Rename