rm functions.sh

this script seems not used anywhere, let's remove it

Change-Id: If7eb0a4ec162808590812f8da628b908cd52bc92

functions.sh

@@ -1,24 +0,0 @@
-function clean_exit(){
-    local error_code="$?"
-    rm -rf "$1"
-    kill $(jobs -p)
-    return $error_code
-}
-
-check_for_cmd () {
-    if ! which "$1" >/dev/null 2>&1
-    then
-        echo "Could not find $1 command" 1>&2
-        exit 1
-    fi
-}
-
-wait_for_line () {
-    while read line
-    do
-        echo "$line" | grep -q "$1" && break
-    done < "$2"
-    # Read the fifo for ever otherwise process would block
-    cat "$2" >/dev/null &
-}
-