Merge branch 'master' into develop
Update keyword highlighting
Add PID controller
Update 1.3 documentation
Bump version
Merge branch 'release/1.3'