Removing large files from the repository history

Due to a mistake, the master branch of the repository contains very large files, which should be deleted from history to make the repository cloning lighter and faster.