Fix Docker files which had been forgotten in #594 and update scripts and docs to remove references to gb. I also removed the `jenkins` directory which is outdated. We can revert f8d7e99 if we realise that it was a mistake to do so.
f8d7e99
Signed-off-by: Alex Chen <minecnly@gmail.com>
Signed-off-by: Konstantinos Sideris <sideris.konstantin@gmail.com>