A study of completion of quasi metric spaces and an investigation of bitological spaces in respect of fixed points of mappings over them