Added generic plugin support to abella, factored out the tacticals from processproof, currently supporting both style of tacticals, former will be phased out, see readme