persistent command history

Saves readline history to ~/.mininet_history.