Added debian packaging files (#463)