The group $PSL(2,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z} * \mathbb{Z}/3\mathbb{Z}$ is not residually nilpotent. Indeed, if it was residually nilpotent, then it would be residually (finite $p$-)group since every finitely generated nilpotent group is residually finite (Malcev) and every finite nilpotent group is a direct product of finite $p$-groups. But in every finite $p$-group either the image of the generator $a$ of order 2 or the image of generator $b$ of order $3$ of $PSL(2,\mathbb{Z})$ is equal to 1 (since either 2 or 3 is co-prime with $p$). Hence the image of the commutator $[a,b]$ is 1. Thus one cannot separate $[a,b]$ from 1 in any nilpotent homomorphic image of $PSL(2,\mathbb{Z})$.
On the other hand, for every $p$, any free product of two residually (finite $p$-) groups is residually (finite $p$-) by a result of Gruenberg (see, for example, http://www.ams.org/journals/bull/1969-75-02/S0002-9904-1969-12149-X/S0002-9904-1969-12149-X.pdf), and hence residually nilpotent.
Update This is an answer to Andreas Thom's comment. Every free product $G=* G_i$ of Abelian groups is residually solvable. Indeed, $G$ has a homomorphism onto the direct product $A$ of $G_i$. The kernel $K$ certainly contains the derived subgroup (actually these two subgroups coincide but it does not matter here). The subgroup $K$ is free (hence the derived subgroup of $G$ is free). Indeed, if $K$ was not free, it would have a non-trivial intersection with one of the conjugates of $G_i$ by Kurosh's theorem, and hence a non-trivial image in $A$. Since $K$ is free, and $G/K$ is Abelian, $G$ is residually solvable. Moreover $G$ is residually (torsion-free nilpotent-by-Abelian).