Improve bash history

Increase history size, make it flush after every command and change its
alias.