updated reamde
fxied ignoring appveyor file
added cstmc fxns, closes #2