Package not registered

[johannes-fischer]

The package seems to not be registered in the general registry, is that intended?

pkg> add LaserTag
ERROR: The following package names could not be resolved:
 * LaserTag (not found in project, manifest or registry)

[zsunberg]

I don't have an objection to registering it, though we might consider changing the name to LaserTagPOMDPs

[zsunberg]

A better solution might be to put it into POMDPModels. But, we should avoid the latex dependency in POMDPModels