Make doc-tools-check-languages configurable

Change-Id: Ib5ae5af106b0944cac5a10477bca448cdbf5351a