Merge branch 'animation_keyboard_shortcuts' into 'master'

Add keyboard shortcuts to play, pause and stop animation in post visualization

Closes #81

See merge request !50
10 jobs for master in 138 minutes and 17 seconds (queued for 2 seconds)