Removing the redhat folder from the root for real this time

Mental note: always use git to manipulate the folder structure.