Remove dependency to `ext/ctype`

[Hywan]

It has been noted in #93 (comment) that hoa/compiler depends ext/ctype just because of a single call to ctype_digit in a non-critical path. I think it's a good idea to remove this dependency :-).

[unkind]

Is it worth it? This extension is built-in by default, unless you disabled it on purpose: https://secure.php.net/manual/en/ctype.installation.php.

composer.json should require it, though.

[Hywan]

We only use it once, and for a minor feature. It should be easy to write a workaround.

[Majkl578]

Doesn't make sense to me - ctype is implicit extension.

[flip111]

Keep extension since it comes with default php installation.