Removed texinfo files

They will be generated starting from markdown code