Simple Scala enrichments for java.io.File