Neil Warnock named Aberdeen interim manager until season's end