quickcheck 0.1.4

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