Minimal modular extensions for super-Tannakian categories