Change unshort.py permissions; add shebang line; add encoding line.