import of idris rts without any modifications

builds fail with the below errors
gcc -g -O2 ./x86_64/lib/crt0.o ./x86_64/lib/crtbegin.o -fno-builtin -nostdlib -Wl,-z,max-page-size=0x1000 -Wl,--build-id=none -m64 -o ./x86_64/sbin/idris_hello ./x86_64/usr/idris_hello/_for_app_idris_hello/idris_hello.o ./x86_64/usr/idris_hello/idris_rts/idris_main.o ./x86_64/lib/libmm.a ./x86_64/lib/libgetopt.a ./x86_64/lib/libtrace.a ./x86_64/lib/libelf.a ./x86_64/lib/libidris_rts.a ./x86_64/lib/libbarrelfish.a ./x86_64/lib/libterm_client.a ./x86_64/lib/liboctopus_parser.a ./x86_64/errors/errno.o ./x86_64/lib/libnewlib.a ./x86_64/lib/crtend.o ./x86_64/lib/libcollections.a
./x86_64/lib/libidris_rts.a(idris_stdfgn.o): In function `fpoll':
/home/j/dev/apps/barrelfish/barrelfish/build/../usr/idris_rts/idris_stdfgn.c:52:
undefined reference to `select'
./x86_64/lib/libidris_rts.a(idris_stdfgn.o): In function `do_popen':
/home/j/dev/apps/barrelfish/barrelfish/build/../usr/idris_rts/idris_stdfgn.c:57:
undefined reference to `popen'
./x86_64/lib/libnewlib.a(time.o): In function `time':
/home/j/dev/apps/barrelfish/barrelfish/build/../lib/newlib/newlib/libc/time/time.c:46:
undefined reference to `_gettimeofday_r'
collect2: error: ld returned 1 exit status
make: *** [x86_64/sbin/idris_hello] Error 1
patch to fix core timeout issue

issue and the patch are described here
https://lists.inf.ethz.ch/pipermail/barrelfish-users/2014-September/001229.html
replaced the failing functions with stubs