minisat compile fix
Replaced depricated %name-prefix= bison directive
Fixed clang -Wdeprecated-register warnings