The command line executable that accepts filename, the atp and its version

[jonaprieto]

We want to use onlineatps as an executable. At the beginning, the prototype should accepts a filepath, the atp name and optionally a version for the atp.

$ onlineatps ./basic-1.fof --atp=online-e

The name of atp should not have the prefix "online":

$ onlineatps ./basic-1.fof --atp=e