Rename the rest of "revel" stuff to "reveldemo"