Update 0.7.2

Update 0.7.2. added player nametags and fixed some bugs in 0.7.1.

The additions and changes are:
 * Player Name Tags for multiplayer
 * Player List
 * Pressing edit on a world now shows the world's seed.
 * New sound for Zombie Pigmen
 * Shortened sleeping time similar to PC