Notes on setting up docker