Add new environment variables WITH_MANUALS and PUBLISH to control if
the manuals should be built and uploaded. Describe all environment vars
on top of the file.
Related: OS#3385
Change-Id: I856e4bc71e1b648de5f27d4044aa60bd0b45e0f5
First, jenkins.sh builds libosmocore dependency.
Then it compiles the "host" (PC) part of OsmocomBB.
After "libosmocore embedded"-build has been introduced this
script will use it instead of the x86 dep.
[1] http://jenkins.osmocom.org/jenkins/job/osmocomBB-gerrit/
Change-Id: Ife88be9022fc1fc1baee7f11872e5b8db4215682