A local limit theorem for random walks conditioned to stay positive