jonaprieto/prop-pack: Collection of TPTP Problems and Solutions

In this occasion, The PDF version of both, problems and solutions has been polished removing empty lines in the problems. We also generate the solutions for each TPTP problem using the last release of Metis ATP (2.3 - release 20170315) due to a bug in the printing module of Metis.