Debian packaging files for 0.5.0 release