Update documentation for dev_installation