Neverland as a submodule

[Gianluca Rigoletti]

Hey everyone!
What do you think about integrating Neverland in the main repo and get
rid of it as a submodule?
At the moment, the majority of the Neverland commits are hotfixes and
there are not really new features.
It is a short question but I need to understand how to move in the
next few days for pushing some commits.

Bye!

-- 
Gianluca