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