build Coq for native ARM
build coqlib.o (Coq part) with OMake
build native-version Coq4iOS with XCode!
show detailed error log during initialization
switch back to standard Coq initialization
Sub repo: OCaml 4.00.1+xarm3.1.8-v7 + XCode 4.6 patch
remove unused files for bytecode-version