Packaging with RPMs

FIXME.