Release v0.7.1

Added

• Added support for nengo_sphinx_theme.ext.redirects, which can be used to automatically add redirects for renamed documentation pages. (#68)

Fixed

• Added locking to remote.sh script to avoid possible race conditions during cleanup. (#69)