Debian packaging for robocode