Rename "bin" to "redi"

I used PyCharm to rename the bin/ directory to redi/, then updated some
additional references to bin, such as in Makefile and docs/conf.py.

This is a backwards-incompatiable change, so we should increment the
major version of the software.
Remove file accidentally committed.
Merge pull request #111 from ufl-taeber/bin-rename

Rename "bin" to "redi"
Merge branch 'develop' into sent-event-index
Update warning about unsent events

Updated the warning message to check the log file first. Also, after
discussing it with some of the other developers, I decided to make the
sent_events file more human-readable. In doing so, I implemented a
faster approach to persisting the list of sent events.  Instead of
pickling the list each time, the latest event simply has to be appended
to the file.