Add bash configuration

This bash configuration is a slightly modified version taken
from the default Ubuntu bash configuration.