We have now for a meromorphic function $F$ and a holomorphic function $G$ in some region $G$ containing the closure of a simply connected region $O$, that the contour integral
$$\frac{1}{2 \pi i} \int\limits_{C} G(z) \frac{F'}{F}(z) d z = \sum\limits_{\rho \; zero \; of \; F} G( \rho) - \sum\limits_{\nu \; pol} G( \nu).$$$$\frac{1}{2 \pi i} \int\limits_{\partial O} G(z) \frac{F'}{F}(z) d z = \sum\limits_{\rho \; zero \; of \; F \; in \; O} G( \rho) - \sum\limits_{\nu \; pol \; of \; F \; in \; O} G( \nu),$$
Thiswhere $\partial O$ denotes the boundary of $O$ and is a Jordan curve by assumption. For this identity to be valid $F$ must have no zero and no pol on the boundary of $O$.
This is what I call the weighted argument principle and can be derived in the same lines as the argument principle,and does not need. It follows for entire functions easily from the Hadamard factorization theorem, but is a purely local property.
Apply this to the function $F = \Lambda$ and $G$ being holomorphic in $ - \epsilon \leq Re\; s \leq 1$ with $|G(z)| \ll (1+|z|^2)^{-1-\epsilon'}$ for some $\epsilon, \epsilon' >0$$\epsilon>0$ and certain restrictions of the growth. We choose the contour $C=C(T)$ being the boundary of $ - \epsilon/2 < Re\;s < 1 + \epsilon/2$ and $| Im \;s | \leq T$, where \zeta does not vanish on $Im \; s = \pm T$.
This give an expression for $*$ for $T \rightarrow \infty$ involving the nontrivial zeros of $\zeta$.
Using the Euler product, we can also derive a nice explicit expression
$$ \frac{\Lambda'}{\Lambda} (s) = -1/2 \log \pi -\frac{1}{2} \frac{\Gamma'}{\Gamma}(s/2) + \sum\limits_{p \; prime} \frac{\log p}{p^{-s}}.$$$$ \frac{\Lambda'}{\Lambda} (s) = (log \Lambda(s))'= -1/2 \log \pi +\frac{1}{2} \frac{\Gamma'}{\Gamma}(s/2) - \sum\limits_{p \; prime} \frac{p^{-s} \log p }{1-p^{-s}}.$$
This gives an expression for $*$ for $T \rightarrow \infty$ involving the primes.
Assuming certain boundedness conditions on $\Lambda(s)$ and $G(s)$ in $0 \leq Re \; s \leq 1$$-\epsilon \leq Re \; s \leq 1+\epsilon$, we are actually allowed to choose $C(T)$ with $T \rightarrow \infty$ and derive the formula as the limit. The boundedness conditions for $\Lambda$ follow from the Hadamard three lines principle or the Phragmen Lindeloeff principle (this is not entire function theory, but this only a complex analysis argument), then the explicit formula follows by choosing $G$ appropiately.
Remark: Inserting a Gaussian function into the explicit formula allows to derive the functional equation for $\zeta$, hence the functional equation is equivalent to Weil's explicit formula. Actually Samuel Patterson states in his famous book on $\zeta$ that they are actually both equivalent to the Poisson summation formula, but I do not know how? Of course the Poisson summation implies Functional equation of $\zeta$... How to go back?
So the philosophy is: Functional equation = explicit formula. Another example for this is the relation of the Selberg Zeta function and Selberg trace formula.
You are right that the entire function theory implies that $\Lambda$ has necessary many zeros, since it is of exponential type $1$ because of the factor $\Gamma$. If you want to derive this without using the merophorphicity of $\Lambda$, you might want to try to deduce this without knowledge over the primes and by inserting an approppiate chosen test function in the explicit formula. I have never seen this been worked out, but choosing an appropiate function $g$ being supported in $ - \log 2 < t \log 2$$ - \log 2 < t < \log 2$ (so no contribution by finite primes) etc. should lead to a rough asymptotic of the zeros without any information used about the primes, but possibly a weaker error term than in the classical van Mangoldt estimate, which I expect to be a square root of the actual main term. Look at similiar techniques used in Werner Mueller and Erez Lapid's article Chapter 2 of http://www.math.uni-bonn.de/people/mueller/papers/orbint09.11.pdf for the Weyl law. The Selberg trace formula has many analogies with the explicit formula. In Iwaniec - Spectral methods in automorphic forms, he gives an argument using Tauberian theorems.
One interesting, but technical derivation of the explicit formula using only the languages of the adeles, harmonic analysis and no entire function theory at all was given by Ralf Meyer:
http://arxiv.org/pdf/math/0311468v3
He threats all Hecke L functions for a fixed number field simultaneously, which is the advantage of considering adeles. Considering only one specific L functions, strong approximation simplifies the analysis just on the archimedean embeddings.
However, the Fourier transform of a function with certain growth properties havehas some holomorphicity conditions, so you basically will just hide the complex analysis arguments, but be able to deduce the results from Fourier analysis only. If you want to derive the prime number theorem from Fourier analysis, you might want to consider the threatement in Rudin - Functional analysis, which is based on real analysis only. Also there are elementary proofs of the prime number theorem, which I have no idea if they apply to Beurling primes.
