Added profile option for android to build system.
Added profiler code to startup and shutdown functions.
Added building of external profiler library.
Renamed android profiler flag to WITH_GPROF
Merge pull request #1491 from akallabeth/android_profiler

Android profiler