Add NOVA related repositores too

[ma08]

I feel that adding the following as sublist to the NOVA entry would be really helpful in some cases.

• novaboot
• TUD-OS/NUL
• TUD-OS/NRE

I didn't know about these repositories and wasted a bunch of time, which I still do too.

[Wenzel]

Hey @ma08 ,
thanks for opening this issue about NOVA.
What about adding them to the NOVA documentation itself ?
That would be more appropriate I believe.

[ma08]

Thanks for your response @Wenzel. Yes, that makes sense.

To be honest, I am pretty new to this domain and haven't explored NOVA much yet. But as I started to work on it to run NOVA, I realized these could have been useful to me during my survey.

I trust you to know more about how to organize it :)