Issue #814: Add a RPM distribution
Work in progress