Do not ignore logic passed to constructor of BaseSmtSolver

[neferin12]

I realized, that the logic that is passed to the constructor of the BaseSmtSolver class is ignored. So I fixed that in a way that uses the logic that was always set as a default, that can be overwritten by passing a logic.

I also added a build on postinstall to the package.json, mainly to be able to install the package from my repository. It does not break anything, but I can also remove that if wanted.

[coveralls]

Pull Request Test Coverage Report for Build 745

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-0.4%) to 74.251%

---

Totals
Change from base Build 718:	-0.4%
Covered Lines:	105
Relevant Lines:	138

---

💛 - Coveralls