Adding a higher resolution for an external monitor in Ubuntu