server: Removed obsolete jobs argument from knotc_main.c.

- Not longer needed, since only compilation used it.
- Removed references to 'jobs' and 'compilation' from man.

Change-Id: Icb3919febef5829d9a05b2bcb85f3542d5d9566d