Bump to 1.3, change player API...

The player API has been modified as follows:
- it no longer hangs when multiple players are joined and none of
the players are the host player.
- A new getNamedPlayer function has been added so that a specific
player can be specified by the player API.
add support for world.getheight
Fix world.getHeight bug.