Streaming replication and failover on PostgreSQL

I am doing a proof of concept on PostgreSQL replication. After the discussion on forum we decided to go with streaming replication as the performance is good compared to other solutions. PostgreSQL is not providing automatic failover for streaming replication. We can switch the slave to master using a trigger file but it is not manageable. So I'd like a solution with automatic failover and high availability. Different solutions are available: 1. Repmgr 2. Linux Heartbeat 3. Pgpool-II (for automatic failover only) 4. Any other tool in case you used. My question is which solution should be used?