debian: Add rudimentary debian packaging.
debian/source: Add declaration of version.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
Update changelog.

Git-Dch: Ignore
debian/copyright: Add copyright file.