Supposedly its available by request (which is all that is required by GPL). An old-ish copy is here: https://github.com/robimarko/routeros-GPL