Fix #60: add license headers to all source