added signature ATP_MINIMAL,
fixed AtpMinimal.minimalize for the trivial case,
Mirabelle: added an option to minimize a theorem set found by sledgehammer,
use timeout of sledgehammer instead of additional timeLimit
(binary:application/x-msdos-program)