New bool solver

Last year i released bool_solver - a little tool to convert boolean algebra into truth tables. I rewrote the program completely from scratch in C. It is now shorter and easier to understand than the old C++ version I hope.