Migration hiding

Changed the API, so that the user doesn't have to care/know about the migration phenomenon. The migration_probability parameter has been also moved from emas.config to mas.config.