move Jenkins script back to ./jenkins-build

This script should be in the root of the git repo so that the config in
Jenkins' web interface is always just:

    ./jenkins-build

This commit also includes a little code to make it easier for people to run
this script on their own machines, if they want to reproduce the Jenkins
build setup.

jenkins-build

@@ -13,7 +13,17 @@ versionNameDate=`date +%Y-%m-%d_%H.%M.%S`
 sed -i \
     -e "s,android:versionCode=\"[0-9][0-9]*\",android:versionCode=\"$versionCodeDate\"," \
     -e "s,android:versionName=\"\([^\"][^\"]*\)\",android:versionName=\"\1.$versionNameDate\"," \
-    AndroidManifest.xml
+    F-Droid/AndroidManifest.xml
 
-. ~/.android/bashrc
+
+if [ -z $ANDROID_HOME ]; then
+    if [ -e ~/.android/bashrc ]; then
+        . ~/.android/bashrc
+    else
+        echo "ANDROID_HOME must be set!"
+        exit
+    fi
+fi
+
+cd F-Droid
 ./ant-prepare.sh