Added a util function for splitting a file path into directory + filename.
Added a util function for splitting a file path into directory + filename.

rjust/defects4j,jose/defects4j,rjust/defects4j,rjust/defects4j,jose/defects4j,jose/defects4j,jose/defects4j,rjust/defects4j