Re #5 - Deletes all riviera-related buffers after
#riviera-dbgp-command-stop, and alters dbgp-session-filter to check for
#buffer existence before trying to use.
re #5 - Using the session-exit hook to kill riviera buffers, much cleaner.
re #5 - Adds docs, naming change.
Re #5 - Implements better way of checking if the buffer is "live"
Merge pull request #10 from JDHankle/feature-5-remove-riviera-buffers

Feature 5 remove riviera buffers