Opening up github discussions

[ariebovenberg]

This will now be the place for discussions—separate from the issue tracker, which can now be focussed on more actionable topics. I'll soon be migrating some issues here.