Polish last change

- Replace 'restore' with 'rerun' which seems clearer.
- Remember last position in ggtags-global-rerun-search and kill the
  search buffer on quit or done.
- Make sure ggtags-global-search-history is ordered by access time.