release tool fixed and minor monad patch for updating

git-svn-id: https://subversion.cs.illinois.edu/svn/cs225@5945 6fbd10e7-183d-0410-a318-cb416676e4f2

monad

@@ -14,6 +14,7 @@ MONAD_DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"
 SOURCE_DIR="$MONAD_DIR/source"
 CALLING_DIR=`pwd`
 
+svn revert "$MONAD_DIR/.monadid" -q
 svn up "$MONAD_DIR" -q --accept theirs-full
 make -C "$SOURCE_DIR" -q
 if [ "$?" -ne 0 ]; then