Tristan Van Berkom authored Aug 16, 2018 and Tristan Van Berkom committed Aug 16, 2018

Use the optionally implemented desktop notification method
to notify when a session completes.

Previously, this used to only notify when an interactive prompt
appears.

This is an attempt to fix #385

_frontend/app.py: Notify session completions

See merge request !673