Replace lua_pushnumber with lua_pushinteger where necessary.

Lua 5.3 now supports 64bit integers. Using a number instead of an integer can cause problems since
tostring adds the decimal dot:
	- Lua 5.2: tostring(5.0) = "5"
	- Lua 5.3: tostring(5.0) = "5.0"

src/AutonomousSystem.cpp

@@ -113,7 +113,7 @@ void AutonomousSystem::lua(lua_State* vm, DetailsLevel details_level, bool asLis
   }
 
   if(asListElement) {
-    lua_pushnumber(vm, asn);
+    lua_pushinteger(vm, asn);
     lua_insert(vm, -2);
     lua_settable(vm, -3);
   }