Xvidtune: a Linux command line interface to print or switch the video mode and/or interactively adjust existing video modes