Add option of sort to filter.sh

Now the `filter.sh` have a option to select how the results
will be sort.

Some changes in `bench.sh` and `filter2tex.sh` so the script
have the same style.