Super-duper easy user-local installations of Linux tools with Bash