Added prop_alphaEqRefl
Added pattern matching with alpha equivalence
Added property relating subst and match
Testing some reflexivity of alphaEq and match
Added Travis configuration