Add tinyproxy to RHEL repo.

Not tested but should be good.