quickcheck 0.2.10

Automatic property based testing with shrinking.
au BufWritePost *.rs silent!make ctags > /dev/null 2>&1