Debianization for the Cowboy HTTP Server