Catch all signals
Issue #431
new
We should catch all possible signals sent by different operating systems to avoid situations like in the ASP competition.
If you want to know how to properly catch a new signal, check https://bitbucket.org/krr/minisatid/commits/4968e3a45496db2ca4c48c9d0b168a6e72b65af9