add a spigot to make it less verbose
Merge branch 'master' of github.com:avilleret/minuit