remove of mention of platform during regress tests as to allow cross backend checking
Ignore autoconf files
Remove bashism

The == operator is not portable. One should = instead.
Merge branch 'master' of github.com:UU-ComputerScience/uhc
Merge branch 'fixupnits' of https://github.com/sstewartgallus/uhc
issue resolution #13 & #15 merged
fixed issue #11
rather crude fix for being able to build in different dir than where ./configure resides: copy all required stuff; depends on autoconf  having correct value
rather crude fix for being able to build in different dir than where ./configure resides: copy all required stuff; depends on autoconf  having correct value
fixes for OSX Mavericks
Merge branch 'master' of github.com:UU-ComputerScience/uhc
Merge branch 'master' into polyvariant-strictness