String shift function, ansi-compliant getline