Adding Ubuntu 13.04 to Platforminfo