cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou login
cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou checkout marabou
cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou -n update 2>/dev/null | grep '^[MPUC]'
cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou update -d