Add source highlighting through pygments and inferior-shell.