Add a RELEASE file