A simple PHP-Codehighlighter