added URL to allow HEAD installation
added head URL and universal option
added universal option to libwebots
Merge pull request #5 from swrede/master

Some extensions to allow HEAD and universal installation