Release 1.36.0 with increased “Boolean equation solver” performance

Besides many improvement and a couple of bugfixes, the most notable one is a dramatic improvement of the performance of the boolean equation solver used for creating circuits from boolean expressions or truth tables. Many thanks to user serotonindude for providing this improvement.

Check out the release letter for a more in-depth description of what has changed with the new release.