Added a LICENSE.txt file, to reiterate the license that is already stated in the header comments of every source file.