Add support for SPASS and make the external pruner customisable.