navigating within symbol keeps temp highlight on
Update travis-ci configuration.
Adapt code style.
Merge pull request #23.