compiler.php: added copyright and license information