Linux, documentation, firefox 8-10 and facebook handler fixes

Merged pull request making HAL optional (#149) which fixes Linux problems. Then several small changes mostly documentation.