Modify bashrc

add HISTTIMEFORMAT, HISTIGNORE
export GREP_OPTIONS