Another filename change to have readme markdown recognized by github.