Adding an RPM distribution for Linux

Currently there is only a well integrated distribution for Debian-based systems, but this for example makes it impossible to know you have to install `libatomic` besides much other things not well integrated when using the TAR distribution