Add missing license headers

Created by: bluewww

Added license headers for files that are under ETH copyright. Technically already covered by the LICENSE file in the root folder, but this makes it more clear