$\texttt{Mangrove}$: Learning Galaxy Properties from Merger Trees