Python-like string formatting for javascript