add tutorial on liquidHaskell

from http://goto.ucsd.edu/~nvazou/liquidtutorial/index.html