Adds a working export button to the requirement manager.

It still needs some aesthetic improvements.