Merge pull request #31 from He-Ro/master

Play Store Description added
FIX: ignore case when comparing engines
Merge branch 'master' of https://github.com/anhoavu/TeXPortal
Add a Japanese play store description.
Merge pull request #32 from yoneken/JapaneseTranslation

Add a Japanese play store description.
update japanese translation.
Merge pull request #34 from yoneken/JapaneseTranslation

Update Japanese translation.
Added russian translation to Play desc. and updated localization.
Implement feature to kill TeXPortal's spawned process
Add infinite loop document testinf.tex for killing test
Fixed wrong title_activity_consent_compile_document translation
Update Japanese translation.
Merge pull request #36 from ASMfreaK/master

Russian localization updated and Play desc. added. + Fixed saving
Merge pull request #37 from yoneken/JapaneseTranslation

Update Japanese translation.
Listen and adapt based on notification from tasks
Make `TeXPortal` send state-update message directly to handler
instead of routing through the activity/service
Fix data race issue
Only unset the state-changed handler if the current handler is what we (the task management activity/service) previously set.
Otherwise, it means that somebody has taken over message handling so the field should not be changed!
Update the task list on resume in `TaskManagementActivity`
Execute and display the output of `ps` in the kill process dialog
Convert all files to \n line ending
Add progress bar and execute `ps` in background
Swap 'Settings' and 'Kill process' menu to reflect priority
Update README
Obtain application name from package manager in consent activity
(instead of using the raw package name)
Format README file
Fix broken fenced code in README
Must not indent the fences
For list, must not indent with 4 * n spaces; otherwise, it will be treated as code
Language for shell script is `sh`, not `shell`; in general, probably the file extension