include link to Colligens in readme
reenable error reporting for parser

accidentially disabled with commit c6ccb565bbcb47ae0c309383dff1cd89d6384b9a
Merge branch 'master' of github.com:ckaestne/TypeChef
remove feature model from pred/succ computation
Merge branch 'master' into liveness