Rename JAlfDSL to DSL.

Since the package is already named 'jalf', it does not make much
sense to be that redundant, is it?