quickcheck 0.1.7

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