Progress with docs, set up dist directory to be ignored by git diff.