The slimer object provides now only specific API to SlimerJS

It is not anymore a clone of the phantom object. So we could provide
later some new API without breaking the API of the phantom object.