Refinements of the Riemann hypothesis I have often read that the Riemann hypothesis is somewhat a statement like:

The primes are as regularly distributed as we can hope for.

For example  $\pi(x) = Li(x)+ O(x^{\sigma+\epsilon})$  for any $\epsilon>0$ as long as there are no zeros of $\zeta$ for any
$s \in \mathbb{C}$ with $\Re s > \sigma$. And of course $\sigma=\frac{1}{2}$ is the best we can hope for.
However there are instances/problems where the Riemann hypothesis does not give the "right conjectural"
answers about the distribution of primes.
Let me state one example I recently read about.
Cramer's conjecture http://en.wikipedia.org/wiki/Cram%C3%A9r%27s_conjecture
asserts that
$$ p_{n+1} - p_n = O(\log^2 p_n ). $$
Here, the Riemann hypothesis only gives $p_{n+1} - p_n = O(\sqrt{p_n} \log p_n )$. So, in some sense RH does not give the best we can hope for. 
I am now asking for for refinements that could achieve this. Could, for example, Cramer's conjecture be deduced from a refinement of $\pi(x) = Li(x)+ O(x^{\frac{1}{2}+\epsilon})$   (under RH), maybe making the O term more precise. And how would this be reflected in terms of the $\zeta$-function and its zeros.
I know there are generalizations to other $L$-functions and refinements like the pair correlation conjecture or predictions from random matrix theory(though I do not have any clue about this). But I do not know whether these
can help to resolve for example Cramer's conjecture. My question is somewhat unprecise (if anyone can write it up better, feel free to edit.)
: Is there a "Super Riemann Hypothesis" predicting stronger properties of the $\zeta$ or other $L$-functions that would settle most questions about the distribution of primes?
EDIT: Thank you for the answers so far. Since Charles pointed out that my question is really to imprecise as we could prove anything about the primes if we knew the zeros of $\zeta$ I am going to rephrase my question inspired by the interesting article of Heath-Brown mentioned by Idoneal:
What sort of properties do we have to know/assume about the zeros of $\zeta$ in order to deduce Cramer's conjecture?
 A: Yes, your question is imprecise. If we knew exactly where the zeta zeroes were, we could answer any question about the primes that could be formulated by means of the explicit formulae. In crude terms, the primes are obtained from the zeroes by an integral transform. Specific questions can depend, for example, on rational dependencies between the imaginary parts of the zeroes. There is quite a large literature on conditional results on primes, and if you are asking whether there is a way of packaging it all up neatly I'd expect the more reasonable answer to be "no" rather than "yes". Several generations of analytic number theorists have contributed.
A: For the Riemann zeta function, there are several conjectures that are stronger than the Riemann Hypothesis and these imply stronger results on distribution of prime numbers than what are known on RH alone. The most notable is probably the Pair Correlation Conjecture of Montgomery. This is a conjecture that assumes the Riemann hypothesis and predicts on finer distribution of the gaps between the imaginary parts of the zeros. There are similar conjectures due to Katz and Sarnak for many other $L$-functions. A good place to read about this is the article by Katz and Sarnak http://www.ams.org/journals/bull/1999-36-01/S0273-0979-99-00766-1/home.html
About the conjecture you have mentioned, I don't know if any standard conjecture on the zeros of the Riemann zeta function implies it. Heath-Brown has a result on the application of PCC on gaps between consecutive primes but I don't think it comes anywhere near this one.
A: The paper arxiv:1008.2381 has a claim for the prime gap 
p_(n+1) - p_n = O(log^2(p_n)/loglog(p_n)), 
assuming the Riemann hypothesis.
