A library with useful Bash functions