Initial commit for HOL mobile for iOS
Removed all svn files
Added build versioning to readme