Add the RELEASE file