.gitignore benchmark executables
Switch IntPSQ to separate priorities and values in interface