To support customizable filename of tags file

Users can choose their favourite tags' filename rather than using default one `.tags`. Meanwhile, if there is already a tags file in an opened project, it's reusable by modifying default preference only, instead of rebuilding the tags file.