Stdio.Buffer: Fixed some documentation typos.
Stdio.Fd: Fixed minor race in write().

There were some (uncommon) cases where the backend poll flags
weren't reset after a successful write.
Whitespace changes.
Updated the source export dependencies.
--wihtout-bignums/--without-gmp isn't possible.
Added doxygen files to export list.