Fix check-php-files task; add check-coding-style task; rename the bin script