Added 'coverage' function to .bashrc.