Refactored dump_file() into dumpFile().

Also added a duration report for dumpstate_board().

BUG: 26379932
Test: manual

Change-Id: If80bb9699162ecb80715ef46c6ee039eb22ba6b7
diff --git a/cmds/dumpstate/dumpstate.h b/cmds/dumpstate/dumpstate.h
index 978abb8..3b51152 100644
--- a/cmds/dumpstate/dumpstate.h
+++ b/cmds/dumpstate/dumpstate.h
@@ -221,9 +221,15 @@
 /* adds all files from a directory to the zipped bugreport file */
 void add_dir(const char *dir, bool recursive);
 
-/* prints the contents of a file */
+/* prints the contents of a file
+ * DEPRECATED: will be removed once device-specific implementations use
+ * dumpFile */
 int dump_file(const char *title, const char *path);
 
+/* Prints the contents of a file. */
+// TODO: use std::string for title once other char* title references are refactored.
+int dumpFile(const char* title, const std::string& path);
+
 /* saves the the contents of a file as a long */
 int read_file_as_long(const char *path, long int *output);