Update to the version number, optimistically assuming that RC4 will
become the final. A release will probably be done early next week,
unless something comes up at the last minute.