Updated README
minisat compile fix
Replaced depricated %name-prefix= bison directive
Fixed clang -Wdeprecated-register warnings
Merge branch 'master' into ubuntu