Modeling sum of k-smallest eigenvalues of a symmetric matrix in JuMP

This is a great solution, thanks so much @blegat !