Merge "Add a comment to dex2oat's parent pid logging"