Enable history search in terminal

Enable "page up" and "page down" to search the history in /etc/inputrc.