Use faasmctl

[csegarragonz]

This PR officially ditches the old ./bin/cli.sh approach to starting development cluster and switches to faasmctl.

faasmctl is a command line tool used to interact with a running Faasm cluster. It has been used as part of GHA for a while, and now I update the docs to include it.

By using faasmctl we move all the logic of interacting with a running Faasm cluster from ./faasmcli/ to a different repository. This also means that any interaction with the HTTP endpoints should be done either through the faasmctl script, or the API that it exposes. Note that faasmctl is installed with pip as part of source ./bin/workon.sh.

This means, that now before doing anything in Faasm, we always need to activate the virtual environment:

source ./bin/workon.sh
faasmctl --version

avoiding the confusion about what is mounted and what is not.

In a subsequent PR I will remove all the tasks in ./faasmcli that are now obsolete, and leave the rest (generally true development tasks) in the usual ./tasks.

Closes #636
Closes #722

[codecov]

Codecov Report

Merging #785 (2becdf1) into main (733cf4d) will decrease coverage by 0.04%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main     #785      +/-   ##
==========================================
- Coverage   67.48%   67.44%   -0.04%     
==========================================
  Files          69       69              
  Lines        7762     7762              
==========================================
- Hits         5238     5235       -3     
- Misses       2524     2527       +3     

see 1 file with indirect coverage changes