Include prune to tips function.

@metasoarous: this should be it.  Include something like:
prune to tips 0EU514626 0EU856858 0EU514624 5AB281205 0EU857041
Due to a stupid bit of parsing on my part (when originally written I
had imagined only numbers following the initial command string), tip
names must begin with either capital letters or numbers.