The answer to #1 is basically yes, because the proof that the Lindenbaum algebra above T is atomless is completely constructive. This assumes you replace Q with I-$\Sigma^0_1$ per my comment above. By luck I was just discussing this a few days ago so I have it in my head.
Start with T. Since Con(T) is not an atom, ~Con(T) is not a coatom, and in particular the second incompleteness theorem shows that (T + ~Con(T)) + Con(T + ~Con(T)) is stronger than T + ~Con(T). So we just take the complement of this in the Lindenbaum algebra: let $T^H$ be T + [Con(T)$\lor$~Con(T + ~Con(T))].
One cute application of this technique is to construct a concrete system strictly between RCA0 and RCA0 + "There is at least one noncomputable set".
Note:
If T + Cont(T) is inconsistent, the theory $T^H$ here is still well defined but is equivalent to $T$. The construction in this case just bounces back and forth between $T$ itself and the maximal element of the algebra (the one corresponding to an inconsistent theory).
One way to resolve this is to read the original question as only being about true theories, which is how I originally read it. If a true theory is consistent, then it is certainly consistent with Con(T). Moreover, the theory $T^H$ constructed here is a true theory if $T$ is.