Graph Coverings with Few Eigenvalues or No Short Cycles