Added a general header that includes all other public headers