videomenu: add an "aniso filtering" option.