short-tags-remover.php now can work on multiple files

Specify --list <filename> to read file names from <filename>
Use new function of short-tags-remover.php

A faster!!!
Intentation fixes
Fix determining version
Merge pull request #1000 from mlocati/faster-build-release

build-release: fix version retrival and faster build