added support for multiple mirage 2 versions
added support for multiple mirage 2 versions - for deps included mode
cleanup after multiple mirage 2 versions addition