Added @AllenDowney's repo as a submodule