Docker recipe to install my favorite tools