Add a mirror in Philippines
philippines.txt, philippines.gif, philippines.eps:
  new file


Docs/manual.texi:
  Add a mirror in Philippines