Add a quasi final version of the shell script that setup
a pipe file, go into HOL Light home and run the world loading.
Every location and file redirection is abstracted as a variable,
in order to leave the user complete freedom to set those variable
freely (the code is suited to satisfy my needs).