Added a new bash script for linting multiple php
files easily