bashrc: added histtimeformat, general fixes