bash library with all kinds of utilities