Issue #39: Rework release system and change debian distribution to 'stable'
Update maintainer.