[META] a proper option for .gitmodules (GH10)

closes #10 again