Remove arch package building script that is no longer maintained.

Last time the file was maintained was 4 years ago. It no longer
makes sense for us to keep it around, as no one maintains it, and
for anyone that wants to use cbmc under Arch Linux, there are
packages in AUR that are better maintained than this one.

Author: Fotis Koutoulakis