Hi Jakub, hello all,

the attached patch updates GOMP-3_1-branch's libgomp.texi for
OpenMP 3.1 (current draft).

Changes:
- Change 3.0 to 3.1, including checking/updating the section numbers
- Add omp_in_final
- Add OMP_PROC_BIND
- Update OMP_NUM_THREADS (now that a list is allowed)
- Fix a few small issues like wrong prototypes

(It think the section "The libgomp ABI" still needs to be updated, but I
 leave that to Jakub :-)

Jakub, is the patch OK for the GOMP-3_1-branch?

Tobias