Async the request to test atp against a problem

[jonaprieto]

We want to catch the first positive answer given by atp from a list of atps. This should be done asyncronize.

[jonaprieto]

Considering in using this library async: https://haskell-lang.org/library/async