Delete libsudoku.h