bashrc: real time bash history

* Command history will be shared between concurrent terminal sessions
  immediately.

Signed-off-by: Adrian-Tudor Panescu <adrian@panescu.com>