Add a requirements section to the specification (closes #3, #7, #13, #14)

Add a requirements section to the specification. Most requirements were extracted
from the introduction.