Merge pull request #1600 from pbuchfink/algorithms-symplectic

Algorithms for symplectic MOR
37 jobs for main in 41 minutes and 21 seconds (queued for 4 minutes and 18 seconds)