added universal option to libwebots