Computation of dynamical correlation functions for many-fermion systems with auxiliary-field quantum Monte Carlo | Synapse