- See https://github.com/googlei18n/libphonenumber for details

- Resolves VUFIND-217 by adding delete capabilities
- Changes the way tags are counted -- now counted per-user, rather than per-copy, for more accurate ranking
- Includes some stylistic improvements to the LESS code

Fetching QR codes for a page of 20 search results can tie up quite a few
Apache workers.  Instead, use JavaScript to load in QR code images on
demand.

- See 85d24c9f.

Conflicts:
	themes/bootstrap3/js/cart.js