Add installation instructions for Arch Linux
Add installation instructions for Arch Linux

Ref: https://www.archlinux.org/packages/community/x86_64/tamarin-prover/
katrielalex/manual,katrielalex/manual,katrielalex/manual,katrielalex/manual