[tex-live] texmf-dist -> texmf for TL'13

[Werner LEMBERG]

> My preference is "texmf-dist":
> * It is already in use for the main distribution stuff for
>   many, many years (decades).
> * The HOMETEXMF is already named "texmf". With different names
>   the trees can easier distinguished:
>     texmf-dist, texmf-local, texmf (home)
> * For documentation writers and readers it should be easier to write
>   and understand, if the different trees have different names.

+1


    Werner