bump debian standards version; add source format