Add code to CodegenArm to force Android to use halide_current_time_usec() rather than performance counter (since the latter isn't available in user mode). Also correct some 64-bit assumptions.
Merge pull request #156 from steven-johnson/master

Make Profiler usable on Android.